/********************************************************************************************
@descr This file contains helper predicates for ...
@autor Christian Arias
@date  10 june 2011
********************************************************************************************/

t(juan).
nt(X):-X\=juan.